教师主页二维码
手机版
常用链接
- [1]期刊论文，Verified compilation of C programs with a nominal memory model,Proceedings of the ACM on Programming Languages,2022/01/01,汪宇霆
- [2]会议论文，Automatic Generation and Validation of Instruction Encoders and Decoders,COMPUTER AIDED VERIFICATION, PT II, CAV 2021,2021/07/01
- [3]期刊论文，CompCertELF: verified separate compilation of C programs into ELF object files,Proceedings of the ACM on Programming Languages,2020/11/01,汪宇霆
- [4]期刊&会议论文，An Abstract Stack Based Approach to Verified Compositional Compilation to Machine Code,Proceedings of the 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL),2019/01/01,汪宇霆
- [5]会议论文，Schematic Polymorphism in the Abella Proof Assistant,Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming (PPDP),2018/09/01,汪宇霆
- [6]会议论文，A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs,Proceedings of the 25th European Symposium on Programming (ESOP/ETAPS),2016/04/01,汪宇霆
- [7]会议论文，A Proof-Theoretic Characterization of Independence in Type Theory,Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications (TLCA),2015/06/01,汪宇霆
- [8]期刊论文，Abella: A System for Reasoning about Relational Specifications,Journal of Formalized Reasoning,2014/12/01
- [9]会议论文，Towards Extracting Explicit Proofs from Totality Checking in Twelf,Proceedings of the 8th ACM SIGPLAN International Workshop on Logical Frameworks (LFMTP),2013/09/01,汪宇霆
- [10]会议论文，Reasoning about Higher-Order Relational Specifications,Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming (PPDP),2013/09/01,汪宇霆